H ? « ‹ ← → › »

Language peer sets for Mizar MSE:
Poland↑
Poland/1982↑
Designed 1982 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑

Mizar MSE(ID:7824/)

alternate simple view
Country: Poland
Designed 1982

for Multi-Sorted with Equality

Logic teaching variant of Miznar 2
Related languages
Mizar 2 → Mizar MSE   Variant
References:
  • Trybulec, A., Jrezyk Informacyjno Logiczny Mizar-M (1982) Trybulec, A., Jrezyk Informacyjno Logiczny Mizar-MSE, ICS PAS Reports, Nr 465, Warsaw, 1982.
  • Pralzmowski, K., Rudnicki, P. (1983) Pralzmowski, K., Rudnicki, P. Kurs Logiki w Mizarze-MSE, Monthly DELTA, No 9 and next ones, Warsaw, 1983, 1984.
  • (1983) Pralzmowski, K., Rudnicki, P., A Draft of Mizar-MSE Primer, ICS PAS Reports, No 529, Warsaw, 1983
  • Trybulec, A., Mizar-MSE Declaration, Polish Comput (1983) Trybulec, A., Mizar-MSE Declaration, Polish Computer Society, ICM'83, Warsaw, 1983, manuscript.
  • (1984) Matuszewski, R., Mizar-MSE (CMS), Mode d'emploi, Centre de Calcul UCL, Louvain-la-Neuve, 1984.
  • (1984) Trybulec, A., On a System of Computer--Aided Instruction of Logic, Bulletin of the Section of Logic PAS, Vol.12, No 4, Warsaw--Lodz, 1984
  • (1985) MacKellar, B., An Introduction to Mizar-MSE, Summer Mizar Workshop, Fondation Philippe le Hodey, Fourdrain, 1985.
  • (1985) Mostowski, M., Trybulec, Z., A Certain Experimental Computer Aided Course of Logic in Poland, Proceedings of World Conference on Computer in Education, IFIP/AFIPS, Norfolk, North Holland, 1985.
  • (1986) Matuszewski, R., Mizar-MSE, Enseignement des Fondements de la Mathematique Appuye par Ordinateurs, Symposium International IFIP/ICOMIDC, Monastir, 1986
  • Gainer, P. et al (1987) Gainer, P., Kalantar, M., Kruszewski, P., Mah, G., MacMizar-MSE, University of Alberta, Edmonton, 1987, manuscript
  • (1988) Artalejo, M.R., Computerised Logic Teaching with Mizar, Computerised Logic Teaching Bulletin, Vol.1, No 1, Scotland, 1988
  • (1988) Bylilnski, Cz., Coolsaet, K., Mizar-MSE on the MAID--machine, Computerised Logic Teaching Bulletin, Vol.1, No 2, Scotland, 1988
  • (1989) Nieva Soto, S., The Reasoner of Mizar/LOG, Computerised Logic Teaching Bulletin, Vol.2, No 1, Scotland, 1989
  • Rudnicki, Piotr (1992) Rudnicki, Piotr "An Overview of the MIZAR Project" Department of Computing Science University of Alberta June 30, 1992 Extract: Intro Extract: History of Mizar
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder